limit of arctan(1